efe807a788c117cc4317e62e297853f27ff4b822,plugins/migration/source/jetbrains/mps/migration20/MigrationHelper.java,MigrationHelper,migrate,#,33
Before Change
String mb = stage.messageBefore();
if (mb != null) {
Messages.showMessageDialog(mb, stage.title(), Messages.getInformationIcon());
}
Runnable stageRunnable = new Runnable() {
After Change
String mb = stage.messageBefore();
if (mb != null) {
int res = Messages.showDialog(mb, stage.title(), new String[]{"Proceed", "Stop"}, 0, Messages.getInformationIcon());
if (res!=0){
Messages.showMessageDialog("You can continue migration later by executing MainMenu->Tools->Continue Migration to MPS 2.0","Migration stopped",Messages.getInformationIcon());
return;
}
}
Runnable stageRunnable = new Runnable() {